2341. XXVIII International Conference on Phenomena in Ionized Gases: July 15-20, 2007, Prague, Czech Republic: book of abstracts: ICPIG 2007
پدیدآورنده : organized by Institute of Plasma Physics, the Academy of Sciences of the Czech Republic with the participation of the Faculty of Electrical Engineering, Czech Technical University, and the Faculty of Mathematics and Physics of Charles University; ]edited by J. Schmidt ... et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Plasma )Ionized gases(
رده :
QC
717
.
6
.
I55
2007
2342. Zadachi i uprazhneniia po kursu diskretnoi mathematiki. English,Problems and exercises in discrete mathematics
پدیدآورنده : by G. P. Gavrilov and A. A. Sapozhenko
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Mathematics - Problems, exercises, etc,Computer science - Mathematics - Problems, exercises, etc
رده :
QA
,
43
,.
G3813
2343. Zero Trust Security
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : COMPUTERS / Computer Science ; COMPUTERS / Security / General ; Mathematics ;
2344. an introduction to computational engineering with MATLAB
پدیدآورنده : Xin-She Yang
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer-aided engineering,Engineering design -- Computer simulation,Engineering mathematics -- Data processing
رده :
QA
،
76
.
758
،.
Y2
,
I5
،
2006
2345. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995
پدیدآورنده : DAvid Pitt,David E.Rydehead,Peter Johnstone,eds
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : computer programming--congresses,categories)mathematics(-congreses
رده :
QA
76
.
6
.
B53
1995
2346. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
2347. development in language Theory II : AT the crossroads of Mathematics, Computer science and Biology
پدیدآورنده : Editors Jurgen Dassow, Grzegorz Rozenberg, Arto Salomaa,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Formal Language,Sequences )Mathematics(,Sequential analysis
رده :
QA
.
D4
267
.
3
2348. discrete mathematics
پدیدآورنده : / s. nanda
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Mathematics,Computer science- Mathematics
رده :
QA39
.
2
.
N64
2349. Discrete structures and automata theory
پدیدآورنده : Dube, Rakesh
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35
D38
2006
2350. effect structures /-Computing in cause
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics. ;
2351. enabled mathematics-Computer
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : assisted instruction. ; Electronic data processing ; Study and teaching (Secondary) ; -Mathematics teachers ; Training of. ; Mathematics ; Study and teaching (Secondary) ; Data processing. ; Mathematics ; Computer
2352. eng0
پدیدآورنده : edited by Sharon Macdonald.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
2353. 20090526 eng 50
پدیدآورنده : 20090527
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
2354. f-sultanmuhamad
پدیدآورنده : edited by Daniel Wüger.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
2355. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده : D. T. Pham and D. Kraboga
کتابخانه: Library of Institute For Color Science and Technology (Tehran)
موضوع : Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
2356. Mathematical aspects of scientific software
پدیدآورنده :
موضوع : ، Computer software-- Development,، Science-- Data processing
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
2357. mathematics for computer science
پدیدآورنده : Lehman, Eric
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
L53
2017
2358. niewski's Systems of Logic and Foundations of MathematicsجLe
پدیدآورنده : / Rafal Urbaniak (auth.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2359. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of
پدیدآورنده : Shiv R.S. Bedi.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
2360. q-series : their development and application in analysis, number theory, combinatorics, physics, and computer algebra
پدیدآورنده : Andrews, George E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، q-series
رده :
QA
1
.
R33
no
.
66